Wyniki
-
Is fork set-theoretical?
Paulo A.S. Veloso
Bulletin of the Section of Logic , 26 /1 (1997) s. 20-30 -
Characterisations for fork algebras and their relational reducts
Paulo A.S. Veloso
Bulletin of the Section of Logic , 26 /3 (1997) s. 144-155 -
On the independence of the axioms for fork algebras
Paulo A.S. Veloso
Bulletin of the Section of Logic , 26 /4 (1997) s. 197-209 -
On eight independent equational axiom-atisations for fork algebras
Paulo A.S. Veloso
Bulletin of the Section of Logic , 27 /3 (1998) s. 117-129 -
On ultrafilter logic and a missing axiom
Paulo A.S. Veloso
Bulletin of the Section of Logic , 28 /1 (1999) s. 17-26 -
Why ultrafilters for almost all
Paulo A.S. Veloso
Bulletin of the Section of Logic , 28 /4 (1999) s. 183-193 -
On some misconceptions about ultrafilter logic
Paulo A.S. Veloso
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 1-12 -
On the power of ultrafilter logic
Paulo A.S. Veloso
Bulletin of the Section of Logic , 29 /3 (2000) s. 89-97 -
On discussive set theory
Lafayette de Moraes
Bulletin of the Section of Logic , 14 /4 (1985) s. 144-149 -
A finitary relational algebra for classical first-order logic
Paulo A.S. Veloso, Armando M. Haeberer
Bulletin of the Section of Logic , 20 /2 (1991) s. 52-62 -
On certain Leibniz's observation concerning the substantiation of mathematical statements
Krystyna Błachowicz
Bulletin of the Section of Logic , 12 /4 (1983) s. 143-147 -
A predicate calculus with formulas which lose sense and the corresponding propositional calculus
Krystyna Piróg-Rzepecka
Bulletin of the Section of Logic , 2 /1 (1973) s. 22-27 -
Subdirectly Irreducible P-compatible Abelian Groups
Krystyna Mruczek-Nasieniewska
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 57-63 -
A finite axiomatization for fork algebras
Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /4 (1995) s. 193-200 -
NUL: Natural Deduction for Ultrafilter Logic
Christian J. Renteria, Edward Hermann Haeusler, Paulo A.S. Veloso
Bulletin of the Section of Logic , 32 /4 (2003) s. 191-199 -
Descriptive Complexity of Modularity Problems on Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 34 /2 (2005) s. 61-75 -
On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 35 /4 (2006) s. 195-214 -
Weakly Free Multialgebras
Marcelo Esteban Coniglio, Guilherme Vicentin de Toledo
Bulletin of the Section of Logic , 51 /1 (2022) s. 109-141 -
Fork algebras are representable
Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /2 (1995) s. 64-75 -
New results in logic of formulas which lose sense
Adam Morawiec, Krystyna Piróg-Rzepecka
Bulletin of the Section of Logic , 14 /3 (1985) s. 114-121